Binary decision diagram - PDFSEARCH.IO - Document Search Engine

Binary decision diagram
Results: 113

#	Item
41	Institute for Integrated and Intelligent Systems Speaker: Associate Professor Kaile Su - ARC Future Fellow Date: Add to Reading List Source URL: www.griffith.edu.au Language: English - Date: 2014-08-07 20:18:51 AIML Binary decision diagram Professor Model checking Education Academia Knowledge
42	An n log n Algorithm for Online BDD Renement? Nils Klarlund AT&T Labs Research 600 Mountain Ave. Murray Hill, NJ 07974 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:00 Model checking Mathematics Boolean algebra Binary decision diagram Diagrams
43	, , 1?? () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Automata Based Symbolic Reasoning in Hardware Verication * DAVID BASIN Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:13 Formal languages Predicate logic Boolean algebra Automata theory Propositional variable Binary decision diagram FO Finite-state machine Well-formed formula Logic Mathematics Mathematical logic
44	School of Computer Science College of Engineering and Computer Science Nearest Neighbour Search with Zero-Suppressed Decision Diagram for Text Retrieval Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-11-14 04:01:13 Search algorithms Diagrams Discrete geometry Nearest neighbor search Vector space model MinHash Hash function Binary decision diagram K-d tree Information science Science Information retrieval
45	Introduction LTL model checking CTL model checking Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-01 22:24:18 Formal methods Theoretical computer science Model checkers Logic in computer science Kripke structure PAT Binary decision diagram Turing Award Algorithm Model checking Mathematics Temporal logic
46	Overview Modelling Algorithmic Verification Comp4151 Lecture 5-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Binary decision diagram Model checking Artificial neuron Theoretical computer science Applied mathematics Assembly languages Propositional directed acyclic graph COMPASS/Sample Code Boolean algebra Diagrams Mathematics
47	Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2004-05-05 19:58:06 Boolean algebra Automated theorem proving Constraint programming Mathematical logic Diagrams Binary decision diagram DPLL algorithm Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics
48	6.867 Machine learning, lecture 21 (Jaakkola) Lecture topics: Bayesian networks Bayesian networks Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2015-03-15 16:36:56 Statistical models Networks Probability and statistics Mathematics Bayesian network Hidden Markov model Connectivity Graph Binary decision diagram Graphical models Statistics Bayesian statistics
49	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 2, Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Diagrams Binary decision diagram Boolean algebra Model checking Graph theory Graph Directed acyclic graph Prolog Binary relation Mathematics Theoretical computer science Relational model
50	A Decentralised Symbolic Diagnosis Approach1 Anika Schumann2 and Yannick Pencol´e3 and Sylvie Thi´ebaux4 Abstract. This paper considers the diagnosis of large discrete-event systems consisting of many components. The p Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-06-05 04:18:21 Computing Binary decision diagram Vehicle Identification Number Petri net Z3 Medical diagnosis Science Computer science Diagrams Artificial intelligence Diagnosis